push-push switch - German English Dictionary